Nuprl Definition : es-lc
11,40
postcript
pdf
lastchange(
x
;
e
) == if
x
changed before
e
then (last change to
x
before
e
) else
e
fi
latex
clarification:
es-lc{i:l}
es-lc
(
es
;
T
;
eq
;
x
;
e
)
== if changed{i:l}(
T
;
eq
;
es
;
x
;
e
) then last-change{i:l}(
T
;
eq
;
es
;
x
;
e
) else
e
fi
latex
Definitions
if
b
then
t
else
f
fi
,
x
changed before
e
,
(last change to
x
before
e
)
FDL editor aliases
es-lc
origin